Statically-typed value persistence for ML
نویسندگان
چکیده
We present a set of extensions to the OCaml language which add support for statically generating typed accessor functions for persisting and communicating a large subset of OCaml types. The extensions do not require any compiler modifications and are implemented using the camlp4 AST transformer. We describe our utility libraries which permit analyzing OCaml values and type declarations from library code without the complexity of a fully-staged system such as MetaOCaml.
منابع مشابه
Open Programming Services for Virtual Machines The Design of Mozart and SEAM
This paper discusses designs for integrating services in general and open programming services in particular into virtual machines. We draw on our experience with two systems. The first is Mozart, a programming system implementing the language Oz. Mozart’s virtual machine provides a rich set of services for open programming, such as concurrency, persistence of data and code, components with dyn...
متن کاملDeriving a Statically Typed Type-Directed Partial Evaluator
Type-directed partial evaluation was originally implemented in Scheme, a dynamically typed language. It has also been implemented in ML, a statically Hindley-Milner typed language. This note shows how the latter implementation can be derived from the former through a functional representation of inductively de ned types.
متن کاملUndoing Dynamic Typing (Declarative Pearl)
We propose undoable versions of the projection operations used when programs written in higher-order statically-typed languages interoperate with dynamically typed ones, localizing potential runtime errors to the point at which a dynamic value is projected to a static type. The idea is demonstrated by using control operators to implement backtracking projections from an untyped Scheme-like lang...
متن کاملSigned and sealed
Language constructs for defining abstract types commonly come in two varieties: those that add and remove seals dynamically as values cross the abstraction boundary, and those that define the boundary statically using a type signature. Abstract types in dynamically-typed languages are generally defined using seals whereas statically-typed languages more typically use a signature; two prominent ...
متن کاملStatic type information to improve the IDE features of hybrid dynamically and statically typed languages
The flexibility offered by dynamically typed programming languages has been appropriately used to develop specific scenarios where dynamic adaptability is an important issue. This has made some existing statically typed languages gradually incorporate more dynamic features to their implementations. As a result, there are some programming languages considered hybrid dynamically and statically ty...
متن کامل